1. Advances in Proof Theory
پدیدآورنده : \ Reinhard Kahle, Thomas Strahm, Thomas Studer Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Proof theory -- Congresses.
رده :
E-Book
,
2. Advances in proof theory
پدیدآورنده : Reinhard Kahle, Thomas Strahm, Thomas Studer, editors
کتابخانه: (طهران)
موضوع : Congresses ، Proof theory
رده :
QA
9
.
54
.
A39